xen/flask: Wire up XEN_DOMCTL_{get,set}_paging_mempool_size
authorAndrew Cooper <andrew.cooper3@citrix.com>
Mon, 21 Nov 2022 12:46:39 +0000 (12:46 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Mon, 21 Nov 2022 16:12:41 +0000 (16:12 +0000)
commit345135942bf9632eba1409ba432cfcae3b7649c7
tree28cfce9fb9ee6de7bf4600567797c25a4015512b
parent8746d3e2550b142cd751ca7a041a38789a020d2b
xen/flask: Wire up XEN_DOMCTL_{get,set}_paging_mempool_size

These were overlooked in the original patch, and noticed by OSSTest which does
run some Flask tests.

Fixes: 22b20bd98c02 ("xen: Introduce non-broken hypercalls for the paging mempool size")
Suggested-by: Daniel Smith <dpsmith@apertussolutions.com>
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Jason Andryuk <jandryuk@gmail.com>
Acked-by: Daniel P. Smith <dpsmith@apertussolutions.com>
Release-acked-by: Henry Wang <Henry.Wang@arm.com>
tools/flask/policy/modules/dom0.te
tools/flask/policy/modules/xen.if
xen/xsm/flask/hooks.c
xen/xsm/flask/policy/access_vectors